A general framework for high-accuracy parametric interpolation
نویسندگان
چکیده
منابع مشابه
A general framework for high-accuracy parametric interpolation
In this paper we establish a general framework for so-called parametric, polynomial, interpolation methods for parametric curves. In contrast to traditional methods, which typically approximate the components of the curve separately, parametric methods utilize geometric information (which depends on all the components) about the curve to generate the interpolant. The general framework suggests ...
متن کاملA Parametric Interpolation Framework for First-Order Theories
Craig interpolation is successfully used in both hardware and software model checking. An important class of state-of-the-art interpolation algorithms is based on recursive procedures that generate interpolants from refutations of unsatisfiable conjunctions of formulas. We analyze this type of algorithms and develop a theoretical framework, called a parametric interpolation framework, for arbit...
متن کاملA general framework for static profiling of parametric resource usage
For some applications, standard resource analyses do not provide the information required. Such analyses estimate the total resource usage of a program (without executing it) as functions on input data sizes. However, some applications require knowing how such total resource usage is distributed over selected parts of a program. We propose a novel, general, and flexible framework for setting up...
متن کاملGeometrical Differentiation and High{accuracy Curve Interpolation
Let f be a smooth curve in IR d , parametrized by arclength. If a large sample of data points p
متن کاملHOPI: A Novel High Order Parametric Interpolation in 2D
Contributions Parametric representation We come out a new smooth and convergent interpolation method called HOPI which exploits the derivative information based on Taylor Theorem. Our solution separates the derivative information (eg, normal) from neighborhood providing more freedom for user control and capability to represent very complicate curve/surface. The derivative information could be e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics of Computation
سال: 1997
ISSN: 0025-5718
DOI: 10.1090/s0025-5718-97-00796-5